翻訳と辞書
Words near each other
・ Higher Learning (disambiguation)
・ Higher Learning (soundtrack)
・ Higher Learning Commission
・ Higher Learning Vol. 2
・ Higher lending charge
・ Higher Level
・ Higher Life movement
・ Higher local field
・ Higher Love
・ Higher Macdonald, New South Wales
・ Higher Menadew
・ Higher National Certificate
・ Higher National Diploma
・ Higher National Veterinary School
・ Higher Octave Music
Higher order grammar
・ Higher order message
・ Higher Plane
・ Higher Plane (Kool & the Gang song)
・ Higher Political Reform Commission
・ Higher Population Council (Jordan)
・ Higher Porthpean
・ Higher Power
・ Higher Power (album)
・ Higher Power (disambiguation)
・ Higher Power (seaQuest DSV)
・ Higher Poynton railway station
・ Higher Preparatory Examination (HF)
・ Higher Principle
・ Higher residuosity problem


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Higher order grammar : ウィキペディア英語版
Higher order grammar

Higher Order grammar (HOG) is a grammar theory based on higher-order logic. It can be viewed simultaneously as generative-enumerative (like Categorial Grammar and Principles & Parameters) or model theoretic (like Head-Driven Phrase Structure Grammar or Lexical Functional Grammar).
==Key features==

* There is a propositional logic of types, which denote sets of linguistic (phonological, syntactic, or semantic) entities. For example, the type NP denotes the syntactic category (or form class) of noun phrases.
* HOG maintains Haskell Curry's distinction between tectogrammatical structure (abstract syntax) and phenogrammatical structure (concrete syntax).
* Abstract syntactic entities are identified with structuralist (Bloomfield-Hockett) free forms (words and phrases). For example, the NP ''your cat'' is distinct from its phonology or its semantics.
* Concrete syntax is identified with phonology, broadly construed to include word order.
* The modelling of Fregean senses is broadly similar to Montague's, but with intensions replaced by finer-grained hyperintensions.
* There is a (Curry-Howard) proof term calculus, whose terms denote linguistic (phonological, syntactic, or semantic) entities.
* The term calculus is embedded in a classical higher-order logic (HOL).
* The syntax-phonology and syntax-semantics interfaces are expressed as axiomatic theories in the HOL.
* The HOL admits (separation-style) subtyping, e.g. NPacc, the type of accusative noun phrases, is a subtype of NP, and denotes a subset of the category denoted by NP.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Higher order grammar」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.